Boolean function - PDFSEARCH.IO - Document Search Engine

Boolean function
Results: 326

#	Item
111	Microsoft Word - necessary Add to Reading List Source URL: www2.edc.org Language: English - Date: 2001-10-04 17:17:00 Necessity and sufficiency Technical terminology Algebraic logic Functions and mappings Boolean algebra Function Mathematics Conditionals Dichotomies
112	PROCEEDINGS Positivity IV - Theory and Applications Dresden (Germany), [removed]Boolean Valued Analysis and Positivity A. G. Kusraev and S. S. Kutateladze (Russia) Abstract. This is an overview of the recent results Add to Reading List Source URL: www.math.nsc.ru Language: English - Date: 2015-01-30 06:07:35 Forcing Boolean algebra Algebraic structures Boolean-valued model Model theory Function Symbol Functor Universal property Mathematics Mathematical logic Mathematical analysis
113	Local theory extensions, hierarchical reasoning and applications to verification – Preliminary Report – Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E 1.4, Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-29 05:23:51 Model theory Functions and mappings Metalogic Function Boolean satisfiability problem Structure Sheaf Field Linear temporal logic Mathematics Abstract algebra Mathematical logic
114	PHI[removed]Logic WINTER 2014 MWF 2 – 2:50 pm Instructor: Office Hours: Add to Reading List Source URL: www.brobinson.info Language: English - Date: 2014-01-07 16:10:11 Boolean algebra Propositional calculus Arguments Non-classical logic Aplia Economics education Homework Function Syllogism Logic Mathematical logic Mathematics
115	Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-06-22 16:27:05 Lattice theory Algebra Order theory Lattice Semilattice Class Boolean algebra Monotonic function Complete Heyting algebra Abstract algebra Mathematics Algebraic structures
116	A SURVEY OF RANKING THEORY Wolfgang Spohn Fachbereich Philosophie Universität Konstanz[removed]Konstanz Germany Add to Reading List Source URL: www.uni-konstanz.de Language: English - Date: 2015-01-27 09:49:38 Probability theory Boolean algebra Function Complete Boolean algebra Dempster–Shafer theory Model theory Moment Exponentiation Cardinal number Mathematics Mathematical logic Large cardinals
117	Single- and Multi-Objective Genetic Programming: New Bounds for Weighted ORDER and MAJORITY Anh Nguyen Tommaso Urli Add to Reading List Source URL: tunnuz.net Language: English - Date: 2014-09-12 00:58:22 Mathematical optimization Applied mathematics Computational complexity theory Big O notation Pseudo-Boolean function Poisson distribution Expected value Linear programming relaxation Pareto distribution Mathematical analysis Mathematics Operations research
118	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: www.select.cs.cmu.edu Language: English - Date: 2009-10-20 18:53:39 Model theory Boolean algebra Propositional calculus Cutting-plane method Resolution First-order logic Function Interpretation Linear programming Mathematics Logic Mathematical logic
119	Submodular Function Maximization Andreas Krause (ETH Zurich) Daniel Golovin (Google) Submodularity1 is a property of set functions with deep theoretical consequences and far– reaching applications. At first glance it a Add to Reading List Source URL: las.ethz.ch Language: English - Date: 2012-08-03 11:50:04 Submodular set function Order theory Matroid theory Supermodular function Pseudo-Boolean function Mathematical analysis Mathematics Mathematical optimization
120	A Boolean Paradigm in Multi-Valued Logic Synthesis Alan Mishchenko Department of ECE Portland State University [removed] Abstract Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 15:32:32 Algebraic logic Electronic engineering Electronic design automation Diagrams Electronic design Binary decision diagram Logic synthesis Boolean satisfiability problem Boolean function Boolean algebra Mathematics Mathematical logic

UPDATE